A Note on Design Decisions of a Formalization of the OCL — The View of Freiburg —
نویسندگان
چکیده
We compare several formal and informal approaches to define the semantics of the Object Constraint Language (OCL) [22]. This comparison reveals a number of minor and major design problems to be settled in upcoming versions of the OCL standard. We review these problems in the context of our work of providing a formal semantics of OCL through an conservative embedding in HOL using the Isabelle theorem prover.1.
منابع مشابه
Interdependent Security Game Design over Constrained Linear Influence Networks
In today's highly interconnected networks, security of the entities are often interdependent. This means security decisions of the agents are not only influenced by their own costs and constraints, but also are affected by their neighbors’ decisions. Game theory provides a rich set of tools to analyze such influence networks. In the game model, players try to maximize their utilities through se...
متن کاملTeachers, points of view about evaluation
Introduction. Although faculty evaluation is designed to improve faculty programs but it is difficult to achieve this objective.This research is to determine teacher's points of view about evaluation in Kermanshah University of Medical Sciences in 1380. Methods. A qualitative study with using group discussion was carried out on faculty members randomly for 5 groups. 6-8 persons participated (m...
متن کاملA Mathematical Model for Blood Flow Through Narrow Vessels with Mild-Stenosis (RESEARCH NOTE)
In this paper we examine the effect of mild stenosis on blood flow, in an irregular axisymmetric artery with oscillating pressure gradient. The Herschel-Bulkley fluid model has been utilized for this study. The combined influence of an asymmetric shape and surface irregularities of constriction has been explored in this computational study. An extensive quantitative analysis has been performed ...
متن کاملA Note on the Comparisons among Coherent Systems
Using the concept of system signature introduced by Samaniego (1985), Kochar et al. (1999) compared the lifetimes of the systems in which the lifetimes of the components are independent and identically distributed (i.i.d.) random variables. Their results are extended to the systems with exchangeable components by Navarro et al. (2005). This paper gives some alternative proofs to obtain th...
متن کاملA value analysis of new product development factors.in a Developed and Developing Country (Case Study)
New product development (NPD) is described in the literature as the transformation of a market opportunity into a product available for sale. In the automotive industry, within the context of ISO/TS16949:2002 (the automotive quality management system international standard), these related to the product realization process (PRP) which consists of Three main phases such as planning, Implem...
متن کامل